RngSig{i}  Type{i'} 

latex

Up	rng sig object directory
Definitions of Statement	RngSig
Definitions	RngSig, t  T
Lemmas	unit wf, bool wf